msg-item(ds;da;k;l) == tg:Id(State(ds)Valtype(da;k)(da(rcv(l,tg))?Void List)) 

latex

---

clarification:

msg-item(ds;da;k;l)
== tg:Id(State(ds)Valtype(da;k)(fpf-cap(da;KindDeq;rcv(l,tg);Void) List)) 

latex

Definitions	Id, x:AB(x), , State(ds), x:AB(x), Valtype(da;k), type List, f(x)?z, KindDeq, rcv(l,tg), Void
FDL editor aliases	msg-item